Computer memory - PDFSEARCH.IO - Document Search Engine

Computer memory
Results: 7013

#	Item
61	Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2012-09-10 07:41:01 Abstract interpretation Models of computation Parallel computing Petri net Software engineering Computing
62	Attested Append-Only Memory: Making Adversaries Stick to their Word Byung-Gon Chun† Petros Maniatis⋆ Scott Shenker†‡ † Add to Reading List Source URL: www.sosp2007.org Language: English - Date: 2016-06-15 13:09:51 Fault-tolerant computer systems Computing Computer architecture Concurrent computing Data synchronization State machine replication Byzantine fault tolerance Replication Clientserver model Microkernel Server
63	Lecture 23: More on Pointto-Point Communication William Gropp www.cs.illinois.edu/~wgropp Cooperative Operations for Communication Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-03-05 17:42:20 Computing Inter-process communication Computer memory Input/output Data buffer Synchronization Circular buffer Blocking Multiple buffering SIMPL
64	Composable Architecture for Rack Scale Big Data Computing Chung-Sheng Li1, Hubertus Franke1, Colin Parris2, Bulent Abali1, Mukil Kesavan3, Victor Chang4 1. IBM Thomas J. Watson Research Center, Yorktown Heights, NY 1059 Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2016-07-21 12:31:14 Computing Computer hardware Computer performance Computer storage media Non-volatile memory Solid-state drive Composability Hyper-V IOPS Storage area network Apache Hadoop Direct memory access
65	cs281: Introduction to Computer Systems Prelab for Lab06 – Introduction to Sequential Circuits Overview In this lab, we will learn about designing circuits that utilize memory (and a clock) in order to achieve some Add to Reading List Source URL: personal.denison.edu Language: English - Date: 2015-11-10 08:26:32 Digital electronics Electronic engineering Electronics Engineering Computer memory Digital systems Flip-flop Sequential logic Logic gate State Finite-state machine Digital signal
66	Precise Automatable Analytical Modeling of the Cache Behavior of Codes with Indirections ´ DOALLO DIEGO ANDRADE, BASILIO B. FRAGUELA, and RAMON Universidade da Coruna Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2008-02-19 05:12:01 Software engineering Computer programming Computing Compiler optimizations Cache Computer memory Locality of reference Software optimization Optimizing compiler For loop Infinite loop Ada
67	Software Verification for Weak Memory via Program Transformation⋆ Jade Alglave1,2 , Daniel Kroening2, Vincent Nimal2 , and Michael Tautschnig2,3 1 3 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2013-01-23 08:25:46 Memory Neuropsychological assessment Cognitive science Epistemology Microcontrollers Computer display standards Integrated circuits
68	Lecture 8: The Cache Oblivious Approach www.cs.illinois.edu/~wgropp Designing for Memory Hierarchy Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-01-15 10:21:32 Cache Computer architecture Computing Analysis of algorithms Models of computation Computer science Computer engineering Cache-oblivious algorithm Computer memory Memory hierarchy Divide and conquer algorithms CPU cache
69	Understanding POWER Multiprocessors Susmit Sarkar1 1 Peter Sewell1 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English Computing Computer architecture Computer memory Concurrency Parallel computing Concurrent computing Memory barrier Synchronization Data dependency Microarchitecture Register renaming Memory model
70	Windows Server 2012 R2 SMB Performance RDMA vs. NIC Throughput, IOPS and CPB Executive Summary A most notable feature of Windows Server 2012 R2 is the release of SMB 3.0, which seamlessly leverages RDMA-enabled adapters Add to Reading List Source URL: www.chelsio.com Language: English - Date: 2014-03-18 09:17:18 Computing Computer memory SCSI Computer networks Supercomputers IWARP Remote direct memory access IOPS LIO Chelsio Communications Storage area network Intel